Software language

Results: 21611



#Item
501Software engineering / Computing / Models of computation / Software / Finite automata / Finite-state machine / Transition system / XC / Verilog / Clock / Presentation / Specification and Description Language

IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu  , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:31
502Software / Social networking services / Culture / Computing / Language acquisition / Facebook / Social information processing / Multilingualism / Korean language / Renren

Culture, Imagined Audience, and Language Choices of Multilingual Chinese and Korean Students on Facebook Ha Kyung Kong, Y. Wayne Wu, Brian Bailey, and Karrie Karahalios Computer Science Department, University of Illinois

Add to Reading List

Source URL: wayneyuwu.com

Language: English - Date: 2016-07-13 12:24:42
503Software / System software / Computing / Compilers / Linker / Programming language implementation / Linkage / X Window System / Data management

The Link King v6.0 User Manual Update The Link King v6.0 features upgrades in four areas: • Enhancement to the display of the final linkage map.

Add to Reading List

Source URL: www.the-link-king.com

Language: English - Date: 2009-06-12 01:04:53
504Insert / Xx / EVE / Bin / Software / Computing / Music industry

Supplement to the Dictionary of the Irish Language (2013)

Add to Reading List

Source URL: www.dil.ie

Language: English - Date: 2015-05-13 04:32:07
505Computing / Software engineering / Theoretical computer science / Formal methods / Logic in computer science / Java Modeling Language / Java platform / Static program analysis / ESC/Java / Hoare logic / Assertion / Modeling language

Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-01-20 18:21:25
506Software engineering / Computing / Memory management / Computer programming / Finalizer / Finalization / Garbage collection / Manual memory management / Resource management / Resource Acquisition Is Initialization / Reference counting / Garbage

Adding Reference Counting to the Shared Source Common Language Infrastructure _Chris_Sells_ and _Christopher_Tavares_, Abstract Moving to a garbage-collected environment in the Common Language Runtime has, for th

Add to Reading List

Source URL: sellsbrothers.com

Language: English - Date: 2015-08-22 14:30:09
507Software engineering / Unified Modeling Language / Computing / Data modeling / ISO standards / Object Process Methodology / Process management / Project management / Diagram / Class diagram / Modeling language / Working memory

Comprehensibility of UML-B: A series of controlled experiments Rozilawati Razali, Colin F. Snook, Michael R. Poppleton, Paul W. Garratt Dependable Systems and Software Engineering, School of Electronics and Computer Scie

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Language: English - Date: 2007-09-18 09:10:42
508Linguistics / Applied linguistics / Japanese language / Language education / Culture / Language learning software

Microsoft Word利用状況.doc

Add to Reading List

Source URL: www.jpf.go.jp

Language: English - Date: 2015-04-24 06:33:23
509Computing / Software / Computer architecture / Programming language implementation / Computer / Forth / Executable / Instruction set / Assembly language / Data / Machine code / Minicomputers

Chapter 1 A Tour of Computer Systems A computer system consists of hardware and systems software that work together to run application programs. Specific implementations of systems change over time, but the underlying c

Add to Reading List

Source URL: csapp.cs.cmu.edu

Language: English - Date: 2010-02-14 14:17:17
UPDATE